Enforcing K-Safeness in Controlled State Machines
نویسنده
چکیده
منابع مشابه
Online State Space Model Parameter Estimation in Synchronous Machines
The purpose of this paper is to present a new approach based on the Least Squares Error method for estimating the unknown parameters of the nonlinear 3rd order synchronous generator model. The proposed method uses the mathematical relationships between the machine parameters and on-line input/output measurements to estimate the parameters of the nonlinear state space model. The field voltage is...
متن کاملN-Policy for M/G/1 Machine Repair Model with Mixed Standby Components, Degraded Failure and Bernoulli Feedback
In this paper, we study N-policy for a finite population Bernoulli feedback queueing model for machine repair problem with degraded failure. The running times of the machines between breakdowns have an exponential distribution. The repair times of the machines are independent and identically distributed random variables. If at any time a machine fails, it is sent to the repairman for repairing,...
متن کاملDiffusion Process for GGR Machining System with Spares, Balking and Reneging (RESEARCH NOTE)
This paper deals with the G/G/R machining system consisting of M operating machines as well as S cold standbys. The concepts of balking and reneging are incorporated which make our model more versatile to deal with real time systems. The broken-down machines are sent to repair facilities consisting of R permanent repairmen. The failure times and repair times are generally identical and independ...
متن کاملRestricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملLiving on the Edge: Safe Search with Unsafe Heuristics
Considering heuristic search for satisficing and cost-optimal planning, we introduce the notion of global safeness of a heuristic, a property weaker than the standard safeness, which we claim is better for heuristic search. We describe one concrete approach for creating globally safe and optimality preserving heuristics by exploiting information in the history of the search via a new form of in...
متن کامل